منابع مشابه
First-class Concurrency Testing and Debugging
Unfortunately, the design of concurrent programs is a very challenging task. The main intellectual difficulty of concurrent programming lies in reasoning about the interaction between concurrently executing threads. Nondeterministic thread scheduling makes it extremely difficult to reproduce behavior from one run of a program to another. As a result, the process of testing and debugging concurr...
متن کاملIntegrating functional modeling and trace-driven parallel debugging
For analyzing parallel and distributed programs, a systematic method for understanding the complex dynamic behavior of concurrent process interactions and dependencies is a must. Integrating functional modeling and trace-driven post-mortem debugging, we have developed a new approach for debugging parallel programs. Bevor executing measurements, a model is created for defining events systematica...
متن کاملDebugging Parallel DEVS
To this day, debugging support for the DEVS formalism has been provided, at best, in an ad-hoc way. The intricacies of dealing with the interplay of different notions of (simulated) time, the formalism semantics, and user input, has not been thoroughly investigated. This paper presents a visual modelling, simulation, and debugging environment for Parallel DEVS, which builds on a theoretical fou...
متن کاملTesting and Debugging Concurrency Bugs in Event-Driven Programs
Event-driven programs are prone to concurrency bugs due their inherent nature of handling asynchronous events. Asynchronous events introduce logical concurrency into these programs making them hard to be thoroughly tested and debugged. However, understanding the root causes and characteristics of concurrency bugs can ease the debugging process and help developers to avoid introducing them. Unfo...
متن کاملKeynote: Assertion Based Parallel Debugging
Programming languages have advanced tremendously over the years, but program debuggers have hardly changed. Sequential debuggers do little more than allow a user to control the flow of a program and examine its state. Parallel ones support the same operations on multiple processes, which are adequate with a small number of processors, but become unwieldy and ineffective on very large machines. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 1990
ISSN: 0362-1340,1558-1160
DOI: 10.1145/99164.99166